1. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
المؤلف: LPAR, )1992 : Saint Petersburg, Russia(
المکتبة: (طهران)
موضوع: Logic programming - Congresses , Automatic theorem proving - Congresses
رده :
QA
76
.
63
.
I55
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)